The Language LinF for Fractal Specification
نویسندگان
چکیده
This article presents the language LinF for L-System specification. L-Systems are formal string rewriting systems introduced in 1968 by the botanist Aristid Lindenmayer that are used to model fractal images. LinF allows the definition of three-dimensional fractals and stochastic fractals. Together with the LinF definition this paper presents the implementation of cFLC, an OpenGL-based system that generates fractal images from LinF specifications. Results obtained through the LinF formalism show the ease of use and generality of the developed tools with respect to the existing literature.
منابع مشابه
Component Reliability Extensions for Fractal component model
Fractal is a component model developed initially by France Telecom and INRIA and later as an open source project in the ObjectWeb consortium. The component model is defined by the Fractal Component Model specification [BCS]. The specification defines a hierarchical component model, where a component is specified in terms of its server and client (provided and required) interfaces and configurab...
متن کامل224 nm Deep-UV laser for native fluorescence, a new opportunity for biomolecules detection.
A new highly sensitive and compact 224 nm laser-induced native fluorescence (LINF) detector was developed using a new generation of deep-UV laser and an innovating elliptical flow cell. The use of deep-UV excitation at 224 nm allows to achieve fluorescence detection of an important range of molecules containing a single aromatic ring. The LINF detector was first evaluated in liquid chromatograp...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملExtending Behavior Protocols With Data and Multisynchronization∗ Technical report
Using behavior protocol [1] for behavior specification of components in hierarchical components model (SOFA [2], Fractal [3]) turned out to be very beneficial if one is interested in communication errors among the application components. Recently, during specification of a Fractal component application aimed at controlling the access to the Internet at airports allowing for several types of pay...
متن کاملChecking Fractal Component Behavior Using Behavior Protocols
Building applications from of-the-shelf pieces, like libraries and components, is a promising approach to the future of software development. As such pieces are a subject to reuse, they have to have their interfaces and semantics clearly defined. To combine components from various vendors, one need a way to reason about component compatibility. Our experience with distributed component-based ap...
متن کامل